%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Erin Rosenbaum at 2011-04-09 17:56:06 -0400 


%% Saved with string encoding Unicode (UTF-8) 



@book{practice-of-programming,
	Author = {{Brian W. Kernighan} and {Rob Pike}},
	Date-Added = {2011-04-05 22:49:34 -0400},
	Date-Modified = {2011-04-05 22:52:59 -0400},
	Publisher = {{Addison-Wesley}},
	Title = {{The Practice of Programming}},
	Year = {2007}}

@book{compiler-implementation,
	Author = {{A.W. Appel}},
	Date-Added = {2011-04-04 15:47:30 -0400},
	Date-Modified = {2011-04-09 17:55:21 -0400},
	Publisher = {{Cambridge University Press}},
	Title = {{Modern compiler implementation in ML}},
	Year = {{2004}}}

@misc{clang,
	Date-Added = {2011-03-24 10:15:29 -0400},
	Date-Modified = {2011-03-24 10:16:35 -0400},
	Howpublished = {\url{http://clang-analyzer.llvm.org/}},
	Title = {{Clang Static Analyzer}},
	Year = {2011}}

@inproceedings{uno,
	Author = {Gerard J. Holzmann},
	Booktitle = {{6th World Conf. on Integrated Design and Process Technology, IDPT '02}},
	Date-Added = {2011-03-18 14:28:16 -0400},
	Date-Modified = {2011-04-09 17:55:33 -0400},
	Title = {{UNO: Static Source Code Checking for UserDefined Properties}},
	Year = {2002}}

@misc{cos217,
	Date-Added = {2011-03-13 19:22:56 -0400},
	Date-Modified = {2011-03-13 19:23:41 -0400},
	Howpublished = {\url{http://www.cs.princeton.edu/courses/archive/spring11/cos217/}},
	Title = {{Computer Science 217: Introduction to Programming Systems}},
	Year = {2011}}

@misc{googleStyle,
	Author = {Benjy Weinberger and Craig Silverstein and Gregory Eitzmann and Mark Mentovai and Tashana Landray},
	Date-Added = {2011-03-13 13:18:00 -0400},
	Date-Modified = {2011-03-13 13:19:11 -0400},
	Howpublished = {\url{http://google-styleguide.googlecode.com/svn/trunk/cppguide.xml}},
	Title = {{Google C++ Style Guide}}}

@misc{originalGrammar,
	Author = {Jeff Lee and Jutta Degener},
	Date-Added = {2011-02-22 22:00:13 -0500},
	Date-Modified = {2011-03-12 22:41:44 -0500},
	Howpublished = {\url{http://www.lysator.liu.se/c/ANSI-C-grammar-y.html}},
	Read = {1},
	Title = {{ANSI C Yacc grammar}},
	Year = {1995}}

@misc{saxHomepage,
	Date-Added = {2011-02-06 11:10:41 -0500},
	Date-Modified = {2011-03-12 22:41:20 -0500},
	Howpublished = {\url{http://sax.sourceforge.net/}},
	Title = {{SAX}}}

@book{code-complete,
	Author = {Steve McConnell},
	Date-Added = {2011-01-27 13:17:43 -0600},
	Date-Modified = {2011-03-12 22:46:03 -0500},
	Edition = {2},
	Publisher = {Microsoft Press},
	Read = {1},
	Title = {{Code Complete: A Practical Handbook of Software Construction}},
	Year = {2004}}

@book{standards,
	Author = {David Straker},
	Date-Added = {2011-01-27 13:14:03 -0600},
	Date-Modified = {2011-03-12 22:41:54 -0500},
	Publisher = {Prentice Hall},
	Read = {1},
	Title = {{C-Style: Standards \& Guidelines}},
	Year = {1992}}

@book{flex-and-bison,
	Author = {John R. Levine},
	Date-Added = {2010-11-23 12:07:11 -0500},
	Date-Modified = {2011-03-12 22:45:50 -0500},
	Publisher = {O'Reilly},
	Read = {1},
	Title = {{Flex \& bison: [Unix text processing tools]}},
	Year = {2009}}

@manual{bison,
	Date-Added = {2010-11-17 12:44:34 -0500},
	Date-Modified = {2011-03-12 22:46:15 -0500},
	Edition = {2.4.3},
	Organization = {GNU Bison},
	Read = {1},
	Title = {{Bison}},
	Url = {http://www.gnu.org/software/bison/manual/html_node/index.html#Top},
	Year = {2010},
	Bdsk-Url-1 = {http://www.gnu.org/software/bison/manual/html_node/index.html#Top}}

@book{lex-and-yacc,
	Author = {Doug Brown and John Levine and Tony Mason},
	Date-Added = {2010-11-15 11:42:34 -0500},
	Date-Modified = {2011-03-12 22:45:45 -0500},
	Publisher = {O'Reilly Media, Inc.},
	Title = {{Lex \& yacc}},
	Year = {1992}}

@misc{framaC,
	Date-Added = {2010-11-08 23:44:05 -0500},
	Date-Modified = {2011-03-12 22:45:09 -0500},
	Howpublished = {\url{http://frama-c.com/index.html}},
	Read = {1},
	Title = {{Frama-C}},
	Year = {2010},
	Bdsk-Url-1 = {http://frama-c.com/index.html}}

@misc{pmd,
	Date-Added = {2010-11-08 23:42:54 -0500},
	Date-Modified = {2011-03-12 22:41:30 -0500},
	Howpublished = {\url{http://pmd.sourceforge.net/}},
	Read = {1},
	Title = {{PMD}},
	Year = {2010},
	Bdsk-Url-1 = {http://pmd.sourceforge.net/}}

@book{design-patterns,
	Address = {Boston},
	Author = {Erich Gamma and Richard Helm and Ralph Johnson and John M. Vlissides},
	Date-Added = {2010-11-08 23:39:58 -0500},
	Date-Modified = {2011-03-12 22:45:56 -0500},
	Publisher = {Addison-Wesley},
	Title = {{Design Patterns: Elements of Reusable Object Oriented Software}},
	Year = {2008}}

@book{refactoring,
	Address = {Boston},
	Author = {Martin Fowler and Kent Beck and John Brandt and William Opdyke and Don Roberts},
	Date-Added = {2010-11-08 23:36:46 -0500},
	Date-Modified = {2011-03-12 22:45:39 -0500},
	Publisher = {Addison-Wesley},
	Read = {1},
	Title = {{Refactoring: Improving the Design of Existing Code}},
	Year = {2008}}

@manual{splint-manual,
	Author = {David Evans},
	Date-Added = {2010-11-08 23:34:39 -0500},
	Date-Modified = {2011-03-12 22:45:26 -0500},
	Edition = {3.1.1-1},
	Month = {June},
	Organization = {Splint},
	Read = {1},
	Title = {{Splint Manual}},
	Year = {2003}}

@unpublished{evans-email,
	Author = {David Evans},
	Date-Added = {2010-11-08 23:33:16 -0500},
	Date-Modified = {2011-03-12 22:45:33 -0500},
	Month = {09},
	Read = {1},
	Title = {{Splint and Senior Thesis}},
	Year = {2010}}

@misc{checkstyle,
	Date-Added = {2010-11-08 23:30:59 -0500},
	Date-Modified = {2011-03-12 22:46:10 -0500},
	Howpublished = {\url{http://checkstyle.sourceforge.net/index.html}},
	Read = {1},
	Title = {{Checkstyle}},
	Year = {2010},
	Bdsk-Url-1 = {http://checkstyle.sourceforge.net/index.html}}
